101. From combinatorics to dynamical systems :
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Algebra ; Data processing ; Congresses. ;
102. Groups and computation
پدیدآورنده : Larry Finkelstein, William M. Kantor, editors,Series
کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع : Group theory -- Data processing -- Congresses,Algebra -- Data processing -- Congresses
رده :
QA
.
D36
,
G76
174
.
7
1993
103. Groups and computation III
پدیدآورنده : / editors, William M. Kantor, Akos Seress
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Group theory- Data processing- Congresses,Algebra- Data processing- Congresses
رده :
QA174
.
7
.
D36
,
G765
2001
104. Groups and computation III : proceedings of the international conference at the Ohio State University, June 15-19, 1999
پدیدآورنده : editors, William M. Kantor, Akos Seress
کتابخانه: (طهران)
موضوع : Data processing -- Congresses ، Group theory,Data processing -- Congresses ، Algebra
رده :
QA
174
.
7
.
D36I5
1999
105. Groups and computation: Workshop on Groups and computation october 7-10, 1991
پدیدآورنده : Larry Finkelstein, William M. Kantor, editors
کتابخانه: (خراسان الجنوبیة)
موضوع : ، Group theory - Data processing - Congresses,، Algebra - Data processing congresses
رده :
QA
174
.
7
.
D36
G7
106. Groups and computation : workshop on groups and computation, October 7-10, 1991
پدیدآورنده : Larry Finkelstein, William M. Kantor, editors
کتابخانه: (طهران)
موضوع : Data processing -- Congresses ، Group theory,Data processing --Congresses ، Algebra
رده :
QA
174
.
7
.
D36D55
1991
107. Groups and computation : workshop on groups and computation, October 7-10, 1991
پدیدآورنده : Larry Finkelstein, William M. Kantor, editors
کتابخانه: المكتبة المركزية ومركز المعلومات (خراسان رضوی)
موضوع : Data processing -- Congresses ، Group theory,Data processing -- Congresses ، Algebra
رده :
QA
174
.
7
.
D36
G76
1993
108. Groups and computation : workshop on groups and computation, October 7-10, 1991
پدیدآورنده : Larry Finkelstein, William M. Kantor, editors
کتابخانه: (طهران)
موضوع : Group theory - Data processing - Congresses , Algebra - Data processing - Congresses
رده :
QA
174
.
7
.
D36
G76
1991
109. ISSAC 2003: proceedings of the 2003 International Symposium on Symbolic and Algebraic Computation: August 3-6, 2003, Philadelphia, PA
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : Congresses ، Mathematics-- Data processing,Congresses ، Algebra-- Data processing
رده :
QA
76
.
95
.
I59
2003
110. ISSAC 2001 : proceedings of the 2001 International Symposium on Symbolic and Algebraic Computation, July 22-25, 2001, University of Western Ontario, London, Ontario, Canada
پدیدآورنده : Bernard Mourrain, editor
کتابخانه: (طهران)
موضوع : Data processing -- Congresses ، Algebra,Data processing -- Congresses ، Mathematics
رده :
QA
155
.
7
.
E4I57
2001
111. ISSAC 2002 : proceedings of the 2002 international symposium on symbolic and algebraic computation, July 07-10, 2002 Universite'de Lille, Lille, France
پدیدآورنده : Teo Mora, editor
کتابخانه: (طهران)
موضوع : Data processing -- Congresses ، Algebra,Data processing -- Congresses ، Mathematics
رده :
QA
155
.
7
.
E4I57
2002
112. Intelligent computer mathematics
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Algebra ; Data processing ; Congresses. ; Mathematical analysis ; Data processing ; Congresses. ; Logic, Symbolic and mathematical ; Congresses. ;
113. NAPAW 92
پدیدآورنده : S. Purushothaman and Amy Zwarico, eds.
کتابخانه: (کرمان)
موضوع : Real-time data processing -- Congresses,Electronic data processing -- Distributed processing -- Congress,Algebra -- Congresses
رده :
QA
76
.
54
.
N67
1992
114. NAPAW 92
پدیدآورنده : S. Purushothaman and Amy Zwarico, eds.
کتابخانه: (کرمان)
موضوع : Real-time data processing -- Congresses,Electronic data processing -- Distributed processing -- Congress,Algebra -- Congresses
رده :
QA
76
.
54
.
N67
1992
115. New computing techniques in physics research IV
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه الزهراء (س) (طهران)
موضوع : ، Particles)Nuclear physics(- Data processing- Congresses,، Nuclear physics- Data processing- Congresses,، Artificial intellignce- Congresses,، Software engineering- Congresses,، Algebra- Data processing- Congresses
رده :
QC
793
.
47
.
E4I58
1995
116. Quantifier elimination and cylindrical algebraic decomposition
پدیدآورنده : B.F. Caviness, J.R. Johnson (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algebra -- Data processing -- Congresses.,Algorithms -- Congresses.,Decomposition method -- Data processing -- Congresses.
117. Symbolic and algebraic computation : International Symposium ISSAC'88, Rome, Italy, July 4-8, 1988 : Proceedings
پدیدآورنده : P. Gianni, ed
کتابخانه: (طهران)
موضوع : Data processing -- Congresses ، Mathematics,Data processing -- Congresses ، Algebra
رده :
QA
76
.
L28
Vol
.
358
118. Symbolic and algebraic computation : International Symposium ISSAC '88, Rome, Italy, July 4-8, 1988 : proceedings
پدیدآورنده : P. Gianni, ed
کتابخانه: (طهران)
موضوع : Congresses ، Mathematics -- Data processing,Data processing --Congresses ، Algebra
رده :
QA
76
.
95
.
I57
1988
119. Symbolic and algebraic computation: International Symposium ISSAC '88, Rome, Italy, July 4-8, 1988: proceedings
پدیدآورنده :
موضوع : Data processing Congresses ، Mathematics,Data processing Congresses ، Algebra
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
120. Symbolic and algebraic computation : International Symposium ISSAC '88, Rome, Italy, July 4-8, 1988 : proceedings
پدیدآورنده : P. Gianni, ed,Title
کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع : Mathematics - Data processing - Congresses,Algebra - Data processing - Congresses
رده :
QA
.
I57
76
.
95
1988